منابع مشابه
A Compositional Trace Semantics for Orc
Orc [9] is a language for task orchestration. It has a small set of primitives, but sufficient to express many useful programs succinctly. We identify an ambiguity in the trace semantics of Kitchin et al. [9]. We give possible interpretations of the ambiguous definition and show that the semantics is not adequate regardless of the interpretation. We remedy this situation by providing new operat...
متن کاملA Compositional Trace-Based Semantics for Probabilistic Automata
We extend the trace semantics for labeled transition systems to a ran-domized model of concurrent computation. The main objective is to obtain a com-positional semantics. The role of a trace in the randomized model is played by a probability distribution over traces, called a trace distribution. We show that the preorder based on trace distribution inclusion is not a precongruence, and we build...
متن کاملA Compositional Trace Logic for Behavioural Interface Specifications
We describe a compositional trace logic for behavioural interface specifications and corresponding proof rules for compositional reasoning. The trace logic is defined in terms of axioms in higher-order logic. This trace logic is applicable to any object-oriented programming language. We treat object creation without observing the explicit act of creation. We prove a soundness result of this app...
متن کاملDefunctionalisation as Typed Closure Conversion: Compositional Reasoning and Specification
We study the problem of translating from call-by-value pcf to a typed first-order low-level language. Such translations are typically defined by induction on the structure of the source term. Each sub-term is translated to a low-level program fragment and the translation of the whole term is a composition of these fragments. It is desirable to follow this compositional approach also in reasonin...
متن کاملCompositional Analysis of Ternary and Binary Chemical Mixtures by Surface-Enhanced Raman Scattering at Trace Levels
Surface-enhanced Raman scattering has been proven a powerful means in the fast detection and recognition of chemicals at trace levels, while quantitative analysis especially the compositional analysis of trace chemical mixtures remains a challenge. We report here a "triangle-rule" based on the principal component analysis (PCA) of surface-enhanced Raman scattering spectra, to calculate the comp...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Semantics and Pragmatics
سال: 2020
ISSN: 1937-8912
DOI: 10.3765/sp.13.14